Calculation of Matrices of Field Elements . Part

The articles [8], [3], [10], [11], [4], [1], [5], [2], [13], [6], [7], [12], and [9] provide the notation and terminology for this paper. In this paper i denotes a natural number. Let K be a field and let M1, M2 be matrices over K. The functor M1 −M2 yielding a matrix over K is defined by: (Def. 1) M1 − M2 = M1 + −M2. One can prove the following propositions: (1) For every field K and for every matrix M over K such that lenM > 0 holds −−M = M. (2) For every field K and for every matrix M over K such that lenM > 0